export record R {
  a: number,
}
